|
|
Abstraction in Automata Algorithms
Kocourek, Tomáš ; Lengál, Ondřej (referee) ; Holík, Lukáš (advisor)
Tato práce si klade za cíl implementaci a experimentální porovnání protiřetězcových algoritmů s abstrakcí a bez abstrakce, které testují prázdnost alternujících automatů. Autor také navrhuje vlastní algoritmy s abstrakcí a navrhuje několik optimalizací pro existující abstraktní algoritmy. Práce popisuje teoretické pozadí studovaných algoritmů a navrhuje efektivní způsob implementace datových struktur, které jsou těmito algoritmy používány. Experimentální vyhodnocení na náhodných automatech ukazuje, že algoritmy bez abstrakce vykazují obecně lepší výsledky, neboť nevyužívají náročné operace průniku a komplementace shora a zdola uzavřených množin. V případě automatů s vysokou hustotou přechodů však algoritmy bez abstrakce zpomalují a algoritmy s abstrakcí naopak zrychlují.
|
|
|
Trends in Contemporary Art
Janovská, Anna ; Ptáček, Jiří (referee) ; Stratil, Václav (advisor)
Diploma work consists of 4 oil paintings on canvas and 10 paintings on paper. Abstract character of these paintings defines their dreamy atmosphere, which was created in Intermedia department and captures autor’s approach towards painting. This diploma work has ambitions to belong to contemporary art scene, especially in the context of contemporary painting. Author reflects that art scene and is aware of its tendences and trends. There might be few questions; what are these trends? what is their meaning and how can they be reflected by curators and critics? Will these trends persist and will they become classified? Simultaneously author perceives the autonomy of Intermedia department and its liberty. Collection entitled „ARE“ was created with awareness of the fact, that everyone can see their beings in their own eyes. Author created them by her own eyes and by that she claims they „are“.
|
|
|
Generating Tree Structures for Testing of Information Systems
Rozsíval, Michal ; Hruška, Martin (referee) ; Smrčka, Aleš (advisor)
The work aims to create a tool for automated testing of information systems. It creates messages similar in structure to those in the communication of existing systems. The program reads provided communication record according to configuration and saves the individual messages in a uniform form. It splits the saved messages into groups and abstracts them into a suitable form for a subsequent generation of new random test messages based on a combinatorial testing with Pair-Wise coverage. The tool supports communication using the REST API and OPC UA protocols and structured data in XML and JSON . The program was tested by processing real communication records.
|
|
|
Coverability for Parallel Programs
Turoňová, Lenka ; Vojnar, Tomáš (referee) ; Holík, Lukáš (advisor)
This work is focusing on automatic verification of systems with parallel running processes. We discuss the existing methods and certain possibilities of optimizing them. Existing techniques are essentially based on finding an inductive invariant (for instance using a variant of counterexample-guided abstract refinement (CEGAR)). The effectiveness of these methods depends on the size of the invariant. In this thesis, we explored the possibility of improving the methods by focusing on finding invariants of minimal size. We implemented a tool that facilitates exploring the space of invariants of the system under scrutiny. Our experimental results show that many practical existing systems indeed have invariants that are much smaller than what can be found by the existing methods. The conjectures and the results of the work will serve as a basis of future research of an efficient method for finding small invariants of parallel systems.
|
|
|
Morphology of Armour
Bařák, Hynek ; Zálešák, Jan (referee) ; Kvíčala, Petr (advisor)
In my thesis, I was very inspired by middle age, whitch has huge influence on my work. It is a epoch of my interest, I am activelly interrested in it and it is with me throught all my live, practicaly since childhood. In painting there are mainly motives of knight´s armor, whitch is underlying cornerstone of my work. My interrest in armor is caused by it´s technical perfection, decorativeness and majesty in the late phase. In that time technicaly did not acted function of protection, but it acted represetativ function and we can see it like a art or statue. By technical site I really experiment with lots of different technics, in many cases I never stay on single one. I work with layers, underlay, with drawing as well as painting. With diferent washing or scribing I open lower layers, I react to it and then I repaint it, simply experimenting. It is almoust archeology back to the old layers of picture. Discovery, connection older layers with new ones. About the painters whose I am interrested in they are primarily Josef Bolf, Vladimír Kokolia, Jaroslav Róna, Giger, Wolfli, Jackson Pollock.
|
|
|
A Personal Dimension of Melancholy
Kubátová, Veronika ; Zapletal, Aleš (referee) ; Artamonov, Vasil (advisor)
Bachelor Thesis based on the topic Personal level of Melancholy. From the very beginning this topic was based on the fact that this work will touch me personally and will be based on the nature of my personality and build on my previous approaches to painting, that were formed during previous studies. My goal was to create abstract paintings, that matched their material meaning and are able to show them in the process of work.
|
|
|
New synagogue in Opava
Bartošová, Monika ; Baranyai, René (referee) ; Dulenčín, Juraj (advisor)
The thesis deals with the design of a new synagogue in Opava. The location is defined on the site of a former synagogue near the city behind no longer existing city walls, as was typical for the location of Jewish communities. The site of the original fortification is now largely taken by a strip of urban orchards, with the historic building of the Breda department store as the imaginary ending. The fact that the intended location adjoins these orchards played an important role in the design proposal. Another important factor entering the design proposal was the surrounding block of flats. From these input factors, the concept of arranging the territory was created, resulting in creating a semi-open block towards the green circular belt, in which the solitary building of the new synagogue is located in its central location. The building of the community center completing the existing block of flats forms rather the background for this synagogue. The concept of the synagogue building itself did not result from a particular symbol, but rather from abstraction that I perceive as typical of religious belief, because even the Holy Scripture is merely an interpretation of certain events that everyone can imagine differently when reading or interpreting them. The object of the synagogue is thus levitated in a cloud changing according to the angle of view. It is more or less obvious – is or is not. The overlap of the designed building resides in the further placement of the columns forming the cloud at important points of the city. On the pillars we can find Jewish verses in both languages, which font becomes bright after dark.
|
|
|
Untitled
Cáb, Martin ; Hodboď, Tomáš (referee) ; Stratil, Václav (advisor)
In my final work I made a portrait of Jesus Christ. Due to the historical development of Christian iconography is an abstract concept, in which Christ is depicted with only simple concrete elements which are significant for his personality as the general level and particularly in my personal.
|
|
| |
|
|
Amicorum
Čížková, Michaela ; Šrek Bromová, Veronika (referee) ; Helia De Felice, Jennifer (advisor)
My bachelor thesis is based on several aspects which was typical for my previous art work. These aspects are independently connect with each other and makes new complex. Base of these thesis are Ebru, Zentai, selfportrait, random, abstraction, or aesthetics. Ebru as the classic technique of painting on the water I develop to new media.
|
guest ::
